تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۱,۹۵ ثانیه یافت شد.

1. Symbolic model checking

پدیدآورنده : / by Kenneth L. McMillan

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)

موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing

رده :

TK

7888

.

4

.

M43

1993

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها